The Description Logic ALCNH R + Extended with Concrete Domains : Revised

نویسندگان

  • Volker Haarslev
  • Ralf Möller
  • Michael Wessel
چکیده

The paper introduces the description logicALCNHR+(D) −. Prominent language features beyond ALC are number restrictions, role hierarchies, transitively closed roles, generalized concept inclusions and concrete domains. As in other languages based on concrete domains (e.g. ALC(D)) a so-called predicate exists restriction concept constructor is provided. However, compared to ALC(D) only features and no feature chains are allowed in this operator. This results in a limited expressivity w.r.t. concrete domains but is required to ensure the decidability of the language. We show that the results can be exploited for building practical description logic systems for solving e.g. configuration problems.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Description Logic ALCNH R + Extended with Concrete Domains

The paper introduces the description logicALCNHR+(D). Prominent language features beyond ALC are number restrictions, role hierarchies, transitively closed roles, generalized concept inclusions and concrete domains. As in other languages based on concrete domains (e.g. ALC(D)) a so-called predicate exists restriction concept constructor is provided. However, compared to ALC(D) only features and...

متن کامل

The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach

In this paper the description logic ALCNHR+(D) is introduced. Prominent language features beyond conjunction, full negation, and quantifiers are number restrictions, role hierarchies, transitively closed roles, generalized concept inclusions, and concrete domains. As in other languages based on concrete domains (e.g. ALC(D)) a so-called existential predicate restriction is provided. However, co...

متن کامل

The Complexity of Reasoning with ConcreteDomainsCarsten

Description logics are knowledge representation and reasoning formalisms which represent conceptual knowledge on an abstract logical level. Concrete domains are a theoretically well-founded approach to the integration of description logic reasoning with reasoning about concrete objects such as numbers, time intervals or spatial regions. In this paper, the complexity of combined reasoning with d...

متن کامل

Hybrid Logics with Concrete Domains

In this paper we present the hybrid logic HLC(@, ↓), an extension of HL(@, ↓), whose models have a concrete domain (such as the natural or real numbers). This logic extends the language of HL(@, ↓) including terms with equality to deal with concrete domain values. Similar languages have already been investigated in other areas like knowledge representation (e.g., description logics with concret...

متن کامل

Decidability of ALC(D) for concrete domains with the EHD-property

Reasoning for Description logics with concrete domains and w.r.t. general TBoxes easily becomes undecidable. For particular, restricted concrete domains decidablity can be regained. We introduce a novel way to integrate a concrete domain D into the well-known description logic ALC, we call the resulting logic ALC(D). We then identify sufficient conditions on D that guarantee decidability of the...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2000